Programming Idioms for Transactional Events
نویسندگان
چکیده
منابع مشابه
Programming Idioms for Transactional Events
Abstract Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE’s formal semantics and its implementation. This paper considers programming idioms, particularly those that vary unexpectedly from the corresponding CML idioms. First, we solve a subtle problem with client-server protocols in TE. Second, w...
متن کاملFunctional Programming 1 Transactional Events : Technical Appendix ∗
Lemma 11 If {〈θ1, e1〉, . . . , 〈θk, ek〉} {〈θ1, e1〉, . . . , 〈θk, ek〉} according to the semantics of Figure 3, the set of trails {〈θ1, ρ1〉, . . . , 〈θk, ρk〉} is committable, and P is a set of search threads, each with a thread identifier in {θ1, . . . , θk}, then {〈θ1, e1, ρ1〉, . . . , 〈θk, ek, ρk〉}]P − → {〈θ1, e1, ρ1〉, . . . , 〈θk, ek, ρk〉}]P ′ according to the semantics of Figure 9, the set of...
متن کاملFairness for Transactional Events
Transactional events are a recent concurrency abstraction that combines first-class synchronous message-passing events with allor-nothing transactions. While prior work gave a semantics and an implementation for transactional events, it provided no guarantees about which of the many non-deterministic executions might be exhibited by a program. For concurrent systems, like transactional events, ...
متن کاملJava Programming Idioms
The programming language Java was introduced to the IT community as an easy-to-learn and easy-to-use language (typically referring to C++ for comparison). While this is certainly true, it turns out that even this supposedly easy language offers a lot of choices and comes with many programming idioms that must be understood thoroughly in order to produce high-quality software implemented in ...
متن کاملAgent-Oriented Programming Idioms
Agent-oriented programming is a new paradigm for conceptualizing a computational system (Shoham, 1993), differing primarily from object-oriented programming in the inclusion of mental state in each of the processes. This paper offers two special-case versions (or idioms) of agent-oriented programming that encapsulates master-slave and peer-peer type interactions in simple protocols. These two i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2010
ISSN: 2075-2180
DOI: 10.4204/eptcs.17.4